// let str:string;
// str = '德玛西亚'
// str = 123
// console.log(str);
// let a:undefined = undefined
// str = a
// str = ''
// console.log(str == false);
// str = undefined
// str = 124
// str = "诺克萨斯"

